∂17-MAY-74  1531		APG,DCL
 HOWS WHILEASSEM??PLEASE GATHER SOME THOUGHTS ABOUT AN NSF
 PROPOSAL INTEGRATING VERIFICATION,AUTO.GENENRATION,COMPILING ETC.
 ALSO WE SHOULD PLAN TO PUT OUT A PAPER ON THE PROVER AND TO TRY HARDER TO SELL IT.
 PLAN TO MEET AGIAN EARLY NEXT WEEK-DAVID